CalculemusThe 16th Symposium on the Integration of Symbolic Computation and Mechanised Reasoning Calculemus 2009 Emerging Trends

Source URL: www.calculemus.net

• Theoretical computer science
• Algorithm
• Correctness
• RSA
• Metamath
• Symbolic computation
• Recursion

Association Neural-Symbolic Learning and Reasoning (NeSy) Unincorporated Association, UK 1. Name and Seat The association named "Neural-Symbolic Learning and Reasoning” (henceforth, NeSy) is a not for-profit organisati

Source URL: daselab.cs.wright.edu

J. Symbolic Computation, 351–369 Lattices of Compatibly Embedded Finite Fields† WIEB BOSMA‡, JOHN CANNON§ AND ALLAN STEEL¶ Computational Algebra Group, School of Mathematics and Statistics, The Univers

Source URL: www.math.ru.nl

• Field theory
• Polynomials
• Computer algebra
• Finite fields
• Abstract algebra
• Conway polynomial
• Field
• Minimal polynomial
• Embedding
• Model theory
• Factorization of polynomials
• Duality

A Symbolic Representation for RNA Secondary Structures; towards the Construction of RNA Secondary Structures Data Base A. Nakaya 1

Source URL: www.jsbi.org

1 On the Symbolic Analysis of Low-Level Cryptographic Primitives: Modular Exponentiation and the Diffie-Hellman Protocol M ARZIA B USCEMI, University of Pisa

Source URL: www.qatar.cmu.edu

• Public-key cryptography
• Computer security
• DolevYao model
• DiffieHellman key exchange
• Cryptographic protocol
• RSA
• Exponentiation
• DiffieHellman problem
• Modular exponentiation

The Journal of Symbolic Logic Volume 00, Number 0, XXX 0000 FLAG ALGEBRAS ALEXANDER A. RAZBOROV

Source URL: people.cs.uchicago.edu

The Mind-Body Problem JERRY A. FODOR Jerry A. Fodor is professor of philosophy at Rutgers University. He is renowned for defending the view that we think in an inner language, akin to the symbolic codes used in ordinary

Source URL: philosophyfaculty.ucsd.edu

Bright N-Soliton Solutions to the Vector Hirota Equation from Nonlinear Optics with Symbolic Computation Tao Xua,b , Bo Tiana,b,c , and Feng-Hua Qia,b a b c

Source URL: www.znaturforsch.com

Automated Software Testing for the 21st Century Patrice Godefroid Microsoft Research TCE’2015

Source URL: tce.technion.ac.il

• Software engineering
• Computing
• Software testing
• Software
• Concurrent programming languages
• Electronic design automation
• Formal methods
• NP-complete problems
• Fuzz testing
• Random testing
• Satisfiability modulo theories
• Symbolic execution

Radio and the Interbellum Music-Cultural Field Morten Michelsen (University of Copenhagen, Dept. of Arts and Cultural Studies) The subproject’s main research question is how the mediation and mediatisation of music in

Source URL: ramund.ikk.ku.dk

• Pierre Bourdieu
• Narratology
• Symbolic anthropology
• Music genre
• Music
• Dance music
• Cultural studies
• Genre studies
• Pop music
• Genre
• Radio format
• Field